The Piranha algebraic manipulator
نویسنده
چکیده
In this paper we present a specialised algebraic manipulation package devoted to Celestial Mechanics. The system, called Piranha, is built on top of a generic and extensible framework, which allows to treat e ciently and in a uni ed way the algebraic structures most commonly encountered in Celestial Mechanics (such as multivariate polynomials and Poisson series). In this contribution we explain the architecture of the software, with special focus on the implementation of series arithmetics, show its current capabilities, and present benchmarks indicating that Piranha is competitive, performance-wise, with other specialised manipulators.
منابع مشابه
Histological and histochemical study on the alimentary canal in Walking catfish (Claris batrachus) and piranha (Serrasalmus nattereri)
The purpose of this study is to describe the histological and histochemical features of digestive tract intwo aquarium fishes with different types of feeding habits which are omnivorous (Walking catfish) andcarnivorous (piranha), respectively. Five adult Walking catfish (L: 26.4 ± 3.4 cm, W: 265 ± 55 g) and fiveadult piranha (L: 23.6 ± 4.5 cm, W: 247 ± 50 g) were used for this study. The fishes...
متن کاملThe Algebraic Manipulator of Alnuset: a Tool to Prove
This report is devoted to analyzing the influence of an algebraic system, the Algebraic Manipulator of ALNUSET on students’ construction of proof in proving equivalence among expressions. Results of an experiment, carried out with students at the second year of Upper Secondary school, are presented to show in which way this manipulator can be used in the educational practice to enhance the teac...
متن کاملSynthesis on the Forward Kinematics Problem algebraic modeling for the planar parallel manipulator, Part 1. Position-based equation systems
Based on a proven exact method to solve the forward kinematics problem , this article investigates the forward kinematics problem formulation specifically applied to planar parallel manipulators. This first part focuses on the position-based equation systems. The majority of planar tripods can modeled by the 3-RPR parallel manipulator. This manipulator is a tripod constituted by a fixed base an...
متن کاملOn the Convergence of PIRANHA
Recently we proposed an algorithm called PIRANHA for learning to represent time series in RNNs. In this paper we prove that under appropriate conditions, PIRANHA is convergent.
متن کاملPIRANHA filter for communication system robustness
The designed rejection filter is of recursive prediction error (RPE) form and uses a special constrained model of infinite impulse response (IIR) with a minimal number of parameters. The socalled PIRANHA Filter is made up independent cascaded adaptive cells realising high rejection at certain frequencies. The convergent filter is characterised by highly narrow-bandwidth and uniform notches of d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0907.2076 شماره
صفحات -
تاریخ انتشار 2009